[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

250 246 317 1492 0 0 0 0 0

N.S.

1 0.98 1.27 5.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.876 1.030 7.849 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

334 368 392 1720 0 0 0 0 0

N.S.

1 1.10 1.17 5.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.096 1.268 10.288 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

394 394 425 1050 0 0 0 0 0

N.S.

1 1.00 1.08 2.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.112 1.304 10.434 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

331 331 354 983 0 0 0 0 0

N.S.

1 1.00 1.07 2.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.906 0.980 7.699 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

260 260 295 2688 0 0 0 0 0

N.S.

1 1.00 1.13 10.34 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.756 0.711 5.016 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

188 188 233 729 0 0 0 0 0

N.S.

1 1.00 1.24 3.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.594 0.682 2.348 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 114 124 96 277 101 0 119 97

N.S.

1 1.07 1.16 0.90 2.59 0.94 0.00 1.11 0.91

time (sec)

N/A 0.347 0.302 1.235 0.195 0.249 0.000 0.289 3.895

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

295 295 254 1239 0 0 0 0 0

N.S.

1 1.00 0.86 4.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.892 1.043 2.546 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

371 371 356 4256 0 0 0 0 0

N.S.

1 1.00 0.96 11.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.097 1.906 3.819 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

480 480 452 1572 0 0 0 0 0

N.S.

1 1.00 0.94 3.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.273 1.960 12.997 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

408 408 420 1069 0 0 0 0 0

N.S.

1 1.00 1.03 2.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.090 1.540 8.817 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

337 337 418 2772 0 0 0 0 0

N.S.

1 1.00 1.24 8.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.909 0.992 5.309 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

265 265 310 815 0 0 0 0 0

N.S.

1 1.00 1.17 3.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.770 1.132 4.446 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 150 170 429 164 0 226 405

N.S.

1 1.00 0.96 1.08 2.73 1.04 0.00 1.44 2.58

time (sec)

N/A 0.435 0.344 1.158 0.199 0.259 0.000 0.299 5.328

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 158 183 177 399 156 0 232 373

N.S.

1 1.01 1.17 1.13 2.54 0.99 0.00 1.48 2.38

time (sec)

N/A 0.404 0.282 1.010 0.193 0.255 0.000 0.281 5.288

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

362 362 376 1321 0 0 0 0 0

N.S.

1 1.00 1.04 3.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.083 1.324 3.652 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

448 448 479 4345 0 0 0 0 0

N.S.

1 1.00 1.07 9.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.250 2.358 3.213 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 174 168 252 445 203 0 333 498

N.S.

1 0.99 0.95 1.43 2.53 1.15 0.00 1.89 2.83

time (sec)

N/A 0.446 0.207 2.636 0.196 0.259 0.000 0.290 5.094

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

67 77 59 647 0 85 0 0 0

N.S.

1 1.15 0.88 9.66 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.497 0.347 13.156 0.000 0.253 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

306 297 644 713 0 0 0 0 0

N.S.

1 0.97 2.10 2.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.923 1.949 6.973 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

240 236 488 610 0 0 0 0 0

N.S.

1 0.98 2.03 2.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.688 1.644 1.867 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

191 181 334 3401 0 0 0 0 0

N.S.

1 0.95 1.75 17.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.549 0.477 4.463 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

111 113 152 1215 0 0 0 0 0

N.S.

1 1.02 1.37 10.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.682 0.461 3.352 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 142 198 182 529 160 0 172 582

N.S.

1 1.02 1.42 1.31 3.81 1.15 0.00 1.24 4.19

time (sec)

N/A 0.413 0.190 1.852 0.213 0.248 0.000 0.292 4.901

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 210 215 327 796 250 0 362 930

N.S.

1 1.01 1.03 1.57 3.83 1.20 0.00 1.74 4.47

time (sec)

N/A 0.585 0.218 1.315 0.222 0.274 0.000 0.299 6.598

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 271 279 472 1085 345 0 555 1304

N.S.

1 0.99 1.01 1.72 3.95 1.25 0.00 2.02 4.74

time (sec)

N/A 0.803 0.236 1.497 0.243 0.252 0.000 0.298 7.370

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 331 172 352 0 0 0 0 0

N.S.

1 1.07 0.56 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.737 0.345 19.486 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

205 212 126 736 0 0 0 0 0

N.S.

1 1.03 0.61 3.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.806 0.335 12.950 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

104 101 82 593 0 0 0 0 0

N.S.

1 0.97 0.79 5.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.616 0.210 3.421 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

93 100 86 1094 0 0 0 0 0

N.S.

1 1.08 0.92 11.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.634 0.753 3.383 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

93 100 86 1101 0 0 0 0 0

N.S.

1 1.08 0.92 11.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.633 0.006 0.789 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

191 198 154 1339 0 0 0 0 0

N.S.

1 1.04 0.81 7.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.559 0.301 4.852 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

305 291 222 602 0 0 0 0 0

N.S.

1 0.95 0.73 1.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.271 0.537 14.666 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

384 421 233 442 0 0 0 0 0

N.S.

1 1.10 0.61 1.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.739 0.330 24.723 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

261 274 172 381 0 0 0 0 0

N.S.

1 1.05 0.66 1.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.913 0.285 2.463 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

131 136 112 228 0 0 0 0 0

N.S.

1 1.04 0.85 1.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.758 0.152 1.672 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

118 136 102 754 0 155 0 0 0

N.S.

1 1.15 0.86 6.39 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.780 0.429 1.787 0.000 0.262 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

118 136 102 761 0 155 0 0 0

N.S.

1 1.15 0.86 6.45 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.806 0.004 0.839 0.000 0.250 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 259 172 573 0 0 0 0 0

N.S.

1 1.08 0.72 2.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.228 0.370 2.773 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

380 382 250 779 0 0 0 0 0

N.S.

1 1.01 0.66 2.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.287 0.666 5.399 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 18 18 17 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 1.06 1.12 1.12

time (sec)

N/A 0.220 2.420 0.481 0.230 0.243 0.520 0.499 3.491

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

15 15 17 15 17 17 17 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 1.13 1.13 1.13

time (sec)

N/A 0.202 0.130 0.457 0.227 0.245 0.623 0.460 3.406

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 21 20 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.17 1.11 1.11 1.11

time (sec)

N/A 0.234 0.237 3.701 0.241 0.242 0.781 0.472 3.392

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 68 18 20 18 18

N.S.

1 1.00 1.12 1.00 4.25 1.12 1.25 1.12 1.12

time (sec)

N/A 0.205 2.013 0.137 0.253 0.236 0.651 0.299 3.436

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

15 15 17 15 58 17 20 17 17

N.S.

1 1.00 1.13 1.00 3.87 1.13 1.33 1.13 1.13

time (sec)

N/A 0.186 1.002 0.137 0.265 0.262 0.691 0.287 3.452

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 68 21 24 20 20

N.S.

1 1.00 1.11 1.00 3.78 1.17 1.33 1.11 1.11

time (sec)

N/A 0.218 1.226 3.319 0.259 0.255 1.017 0.302 3.651

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 275 474 323 0 0 0 0 0

N.S.

1 1.00 1.72 1.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.511 4.694 8.868 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 214 394 261 0 0 0 0 0

N.S.

1 1.00 1.84 1.22 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.434 2.310 0.992 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 315 214 0 0 0 0 0

N.S.

1 1.00 2.02 1.37 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.377 1.909 1.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 257 145 0 0 0 0 0

N.S.

1 1.00 2.25 1.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.458 0.177 0.928 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 294 203 0 0 0 0 0

N.S.

1 1.00 1.99 1.37 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.418 1.275 0.967 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 331 267 0 0 0 0 0

N.S.

1 1.00 1.66 1.34 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 6.338 0.962 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 261 375 322 0 0 0 0 0

N.S.

1 1.00 1.44 1.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.564 5.934 1.135 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

385 385 1414 1573 0 0 0 0 0

N.S.

1 1.00 3.67 4.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.743 13.925 39.646 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

279 279 1153 13674 0 0 0 0 0

N.S.

1 1.00 4.13 49.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.545 13.046 11.095 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

188 188 1055 1087 0 0 0 0 0

N.S.

1 1.00 5.61 5.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.306 3.324 1.380 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

319 319 1151 1787 0 0 0 0 0

N.S.

1 1.00 3.61 5.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.742 9.547 11.258 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

412 412 1270 26440 0 0 0 0 0

N.S.

1 1.00 3.08 64.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.946 15.531 15.326 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

275 275 850 1566 0 0 0 0 0

N.S.

1 1.00 3.09 5.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.631 7.157 11.368 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 25 15 3 20

N.S.

1 1.00 1.11 1.00 1.11 1.39 0.83 0.17 1.11

time (sec)

N/A 0.204 0.021 3.672 0.234 0.274 1.086 55.303 3.605

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 119 72 69 73 76 71 335 61

N.S.

1 1.65 1.00 0.96 1.01 1.06 0.99 4.65 0.85

time (sec)

N/A 0.378 0.026 1.342 0.171 0.261 0.464 0.293 3.634

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 99 79 57 72 61 54 227 51

N.S.

1 1.57 1.25 0.90 1.14 0.97 0.86 3.60 0.81

time (sec)

N/A 0.352 0.025 1.284 0.171 0.259 0.386 0.301 3.581

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 99 62 61 65 68 63 268 53

N.S.

1 1.60 1.00 0.98 1.05 1.10 1.02 4.32 0.85

time (sec)

N/A 0.352 0.022 1.151 0.179 0.255 0.378 0.292 3.551

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 43 69 47 37 52 46 160 44

N.S.

1 1.08 1.72 1.18 0.92 1.30 1.15 4.00 1.10

time (sec)

N/A 0.220 0.022 1.371 0.183 0.251 0.288 0.285 3.588

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 66 47 44 47 53 49 203 40

N.S.

1 1.03 0.73 0.69 0.73 0.83 0.77 3.17 0.62

time (sec)

N/A 0.267 0.016 0.093 0.176 0.248 0.195 0.297 3.790

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 57 60 69 89 0 0 0 0

N.S.

1 1.19 1.25 1.44 1.85 0.00 0.00 0.00 0.00

time (sec)

N/A 0.330 0.024 0.146 0.173 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 63 38 41 36 51 41 145 37

N.S.

1 1.66 1.00 1.08 0.95 1.34 1.08 3.82 0.97

time (sec)

N/A 0.347 0.009 0.185 0.193 0.262 0.304 0.289 3.406

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 54 68 78 81 0 0 330 0

N.S.

1 0.96 1.21 1.39 1.45 0.00 0.00 5.89 0.00

time (sec)

N/A 0.336 0.034 0.135 0.183 0.000 0.000 1.316 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 85 58 59 53 64 63 204 49

N.S.

1 1.47 1.00 1.02 0.91 1.10 1.09 3.52 0.84

time (sec)

N/A 0.348 0.023 0.533 0.185 0.247 0.392 0.291 3.564

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 44 71 48 61 52 46 160 61

N.S.

1 1.05 1.69 1.14 1.45 1.24 1.10 3.81 1.45

time (sec)

N/A 0.235 0.023 0.138 0.185 0.242 0.295 0.294 3.528

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 109 71 68 62 73 75 281 59

N.S.

1 1.54 1.00 0.96 0.87 1.03 1.06 3.96 0.83

time (sec)

N/A 0.365 0.023 0.471 0.171 0.253 0.505 0.297 3.538

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 411 113 199 190 0 0 0 0

N.S.

1 2.54 0.70 1.23 1.17 0.00 0.00 0.00 0.00

time (sec)

N/A 2.553 0.683 2.536 0.193 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 297 88 105 146 109 114 522 101

N.S.

1 2.56 0.76 0.91 1.26 0.94 0.98 4.50 0.87

time (sec)

N/A 2.354 0.054 0.711 0.194 0.257 0.502 0.298 4.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 297 95 179 173 0 0 0 0

N.S.

1 2.15 0.69 1.30 1.25 0.00 0.00 0.00 0.00

time (sec)

N/A 1.782 0.218 1.383 0.202 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 99 66 84 74 91 88 305 77

N.S.

1 1.04 0.69 0.88 0.78 0.96 0.93 3.21 0.81

time (sec)

N/A 0.369 0.034 0.132 0.182 0.250 0.356 0.284 3.653

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 123 71 154 144 0 0 0 0

N.S.

1 1.07 0.62 1.34 1.25 0.00 0.00 0.00 0.00

time (sec)

N/A 0.597 0.098 1.127 0.177 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

146 194 154 663 0 0 0 0 0

N.S.

1 1.33 1.05 4.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.412 0.191 18.757 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 136 102 156 152 0 0 0 0

N.S.

1 1.46 1.10 1.68 1.63 0.00 0.00 0.00 0.00

time (sec)

N/A 1.154 0.105 0.162 0.185 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

172 193 191 736 0 0 0 0 0

N.S.

1 1.12 1.11 4.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.413 0.252 32.286 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 162 93 198 188 0 0 0 0

N.S.

1 1.40 0.80 1.71 1.62 0.00 0.00 0.00 0.00

time (sec)

N/A 1.063 0.207 0.254 0.197 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 116 82 113 164 108 102 282 246

N.S.

1 1.30 0.92 1.27 1.84 1.21 1.15 3.17 2.76

time (sec)

N/A 0.465 0.037 0.181 0.177 0.250 0.423 0.295 4.078

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 244 114 219 228 0 0 0 0

N.S.

1 1.71 0.80 1.53 1.59 0.00 0.00 0.00 0.00

time (sec)

N/A 1.647 0.338 0.188 0.183 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

157 175 134 749 0 0 0 0 0

N.S.

1 1.11 0.85 4.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.925 0.233 8.665 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 193 232 210 277 0 0 0 0

N.S.

1 1.00 1.20 1.09 1.44 0.00 0.00 0.00 0.00

time (sec)

N/A 0.471 0.315 0.500 0.266 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 21 21 24 20 21

N.S.

1 1.00 1.11 1.00 1.17 1.17 1.33 1.11 1.17

time (sec)

N/A 0.202 0.591 0.069 0.241 0.260 0.742 0.606 3.423

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

17 17 19 17 20 19 24 19 20

N.S.

1 1.00 1.12 1.00 1.18 1.12 1.41 1.12 1.18

time (sec)

N/A 0.195 0.255 0.053 0.221 0.250 0.564 0.578 4.180

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 23 22 24 22 23

N.S.

1 1.00 1.10 1.00 1.15 1.10 1.20 1.10 1.15

time (sec)

N/A 0.210 0.859 0.053 0.245 0.245 0.933 0.580 3.549

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 86 21 27 20 21

N.S.

1 1.00 1.11 1.00 4.78 1.17 1.50 1.11 1.17

time (sec)

N/A 0.199 0.753 0.075 0.269 0.259 0.814 0.336 3.576

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

17 17 19 17 77 19 27 19 20

N.S.

1 1.00 1.12 1.00 4.53 1.12 1.59 1.12 1.18

time (sec)

N/A 0.188 1.040 0.052 0.255 0.251 0.569 0.313 3.593

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 94 22 27 22 23

N.S.

1 1.00 1.10 1.00 4.70 1.10 1.35 1.10 1.15

time (sec)

N/A 0.210 0.920 0.049 0.274 0.240 1.092 0.318 3.516

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

17 17 19 17 155 19 27 19 20

N.S.

1 1.00 1.12 1.00 9.12 1.12 1.59 1.12 1.18

time (sec)

N/A 0.193 0.869 0.062 0.254 0.251 0.649 0.325 3.542

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 96 89 89 92 100 383 106

N.S.

1 1.00 1.00 0.93 0.93 0.96 1.04 3.99 1.10

time (sec)

N/A 0.394 0.036 0.400 0.180 0.254 0.603 0.281 3.601

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 103 77 88 77 76 240 101

N.S.

1 1.00 1.18 0.89 1.01 0.89 0.87 2.76 1.16

time (sec)

N/A 0.336 0.035 0.418 0.201 0.249 0.564 0.292 4.153

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 86 81 81 84 90 319 71

N.S.

1 1.00 1.00 0.94 0.94 0.98 1.05 3.71 0.83

time (sec)

N/A 0.361 0.032 0.283 0.188 0.253 0.467 0.297 3.519

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 53 93 68 46 68 68 176 64

N.S.

1 1.06 1.86 1.36 0.92 1.36 1.36 3.52 1.28

time (sec)

N/A 0.242 0.032 0.266 0.182 0.253 0.388 0.286 3.521

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 111 71 64 66 72 75 255 60

N.S.

1 1.07 0.68 0.62 0.63 0.69 0.72 2.45 0.58

time (sec)

N/A 0.381 0.028 0.251 0.177 0.248 0.274 0.287 3.496

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 82 89 106 0 0 0 0

N.S.

1 1.00 1.17 1.27 1.51 0.00 0.00 0.00 0.00

time (sec)

N/A 0.289 0.034 0.315 0.182 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 64 64 57 66 68 249 57

N.S.

1 1.00 1.00 1.00 0.89 1.03 1.06 3.89 0.89

time (sec)

N/A 0.309 0.019 0.304 0.173 0.249 0.429 0.278 3.311

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 61 73 82 0 0 0 0

N.S.

1 1.00 0.98 1.18 1.32 0.00 0.00 0.00 0.00

time (sec)

N/A 0.285 0.050 0.249 0.179 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 68 67 66 72 75 274 59

N.S.

1 1.00 1.00 0.99 0.97 1.06 1.10 4.03 0.87

time (sec)

N/A 0.309 0.023 0.233 0.193 0.253 0.453 0.292 3.610

[next] [prev] [prev-tail] [front] [up]